English primitive recursive predicate: tłumaczenie na inne języki